<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - code analysis - /usr/include/boost/random/detail/signed_unsigned_tools.hpp</title>
  <link rel="stylesheet" type="text/css" href="../../../../../gcov.css">
</head>

<body>

  <table width="100%" border=0 cellspacing=0 cellpadding=0>
    <tr><td class="title">LCOV - code coverage report</td></tr>
    <tr><td class="ruler"><img src="../../../../../glass.png" width=3 height=3 alt=""></td></tr>

    <tr>
      <td width="100%">
        <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="35%" class="headerValue"><a href="../../../../../index.html">top level</a> - <a href="index.html">usr/include/boost/random/detail</a> - signed_unsigned_tools.hpp<span style="font-size: 80%;"> (source / <a href="signed_unsigned_tools.hpp.func-sort-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="15%"></td>
            <td width="10%" class="headerCovTableHead">Hit</td>
            <td width="10%" class="headerCovTableHead">Total</td>
            <td width="15%" class="headerCovTableHead">Coverage</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">code analysis</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">12</td>
            <td class="headerCovTableEntryLo">0.0 %</td>
          </tr>
          <tr>
            <td class="headerItem">Date:</td>
            <td class="headerValue">2020-09-11 22:25:26</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntryHi">-</td>
          </tr>
          <tr>
            <td class="headerItem">Legend:</td>
            <td class="headerValueLeg">            Lines:
            <span class="coverLegendCov">hit</span>
            <span class="coverLegendNoCov">not hit</span>
</td>
            <td></td>
          </tr>
          <tr><td><img src="../../../../../glass.png" width=3 height=3 alt=""></td></tr>
        </table>
      </td>
    </tr>

    <tr><td class="ruler"><img src="../../../../../glass.png" width=3 height=3 alt=""></td></tr>
  </table>

  <table cellpadding=0 cellspacing=0 border=0>
    <tr>
      <td><br></td>
    </tr>
    <tr>
      <td>
<pre class="sourceHeading">          Line data    Source code</pre>
<pre class="source">
<a name="1"><span class="lineNum">       1 </span>            : /* boost random/detail/signed_unsigned_tools.hpp header file</a>
<span class="lineNum">       2 </span>            :  *
<span class="lineNum">       3 </span>            :  * Copyright Jens Maurer 2006
<span class="lineNum">       4 </span>            :  * Distributed under the Boost Software License, Version 1.0. (See
<span class="lineNum">       5 </span>            :  * accompanying file LICENSE_1_0.txt or copy at
<span class="lineNum">       6 </span>            :  * http://www.boost.org/LICENSE_1_0.txt)
<span class="lineNum">       7 </span>            :  *
<span class="lineNum">       8 </span>            :  * See http://www.boost.org for most recent version including documentation.
<span class="lineNum">       9 </span>            :  */
<span class="lineNum">      10 </span>            : 
<span class="lineNum">      11 </span>            : #ifndef BOOST_RANDOM_DETAIL_SIGNED_UNSIGNED_TOOLS
<span class="lineNum">      12 </span>            : #define BOOST_RANDOM_DETAIL_SIGNED_UNSIGNED_TOOLS
<span class="lineNum">      13 </span>            : 
<span class="lineNum">      14 </span>            : #include &lt;boost/limits.hpp&gt;
<span class="lineNum">      15 </span>            : #include &lt;boost/config.hpp&gt;
<span class="lineNum">      16 </span>            : #include &lt;boost/type_traits/make_unsigned.hpp&gt;
<span class="lineNum">      17 </span>            : 
<span class="lineNum">      18 </span>            : namespace boost {
<span class="lineNum">      19 </span>            : namespace random {
<span class="lineNum">      20 </span>            : namespace detail {
<span class="lineNum">      21 </span>            : 
<span class="lineNum">      22 </span>            : 
<span class="lineNum">      23 </span>            : /*
<span class="lineNum">      24 </span>            :  * Compute x - y, we know that x &gt;= y, return an unsigned value.
<span class="lineNum">      25 </span>            :  */
<span class="lineNum">      26 </span>            : 
<span class="lineNum">      27 </span>            : template&lt;class T, bool sgn = std::numeric_limits&lt;T&gt;::is_signed&gt;
<span class="lineNum">      28 </span>            : struct subtract { };
<span class="lineNum">      29 </span>            : 
<span class="lineNum">      30 </span>            : template&lt;class T&gt;
<span class="lineNum">      31 </span>            : struct subtract&lt;T, /* signed */ false&gt;
<span class="lineNum">      32 </span>            : {
<span class="lineNum">      33 </span>            :   typedef T result_type;
<span class="lineNum">      34 </span><span class="lineNoCov">          0 :   result_type operator()(T x, T y) { return x - y; }</span>
<span class="lineNum">      35 </span>            : };
<span class="lineNum">      36 </span>            : 
<span class="lineNum">      37 </span>            : template&lt;class T&gt;
<span class="lineNum">      38 </span>            : struct subtract&lt;T, /* signed */ true&gt;
<span class="lineNum">      39 </span>            : {
<span class="lineNum">      40 </span>            :   typedef typename make_unsigned&lt;T&gt;::type result_type;
<span class="lineNum">      41 </span>            :   result_type operator()(T x, T y)
<span class="lineNum">      42 </span>            :   {
<span class="lineNum">      43 </span><span class="lineNoCov">          0 :     if (y &gt;= 0)   // because x &gt;= y, it follows that x &gt;= 0, too</span>
<span class="lineNum">      44 </span><span class="lineNoCov">          0 :       return result_type(x) - result_type(y);</span>
<span class="lineNum">      45 </span><span class="lineNoCov">          0 :     if (x &gt;= 0)   // y &lt; 0</span>
<span class="lineNum">      46 </span>            :       // avoid the nasty two's complement case for y == min()
<span class="lineNum">      47 </span><span class="lineNoCov">          0 :       return result_type(x) + result_type(-(y+1)) + 1;</span>
<span class="lineNum">      48 </span>            :     // both x and y are negative: no signed overflow
<span class="lineNum">      49 </span><span class="lineNoCov">          0 :     return result_type(x - y);</span>
<span class="lineNum">      50 </span>            :   }
<span class="lineNum">      51 </span>            : };
<span class="lineNum">      52 </span>            : 
<span class="lineNum">      53 </span>            : /*
<span class="lineNum">      54 </span>            :  * Compute x + y, x is unsigned, result fits in type of &quot;y&quot;.
<span class="lineNum">      55 </span>            :  */
<span class="lineNum">      56 </span>            : 
<span class="lineNum">      57 </span>            : template&lt;class T1, class T2, bool sgn = std::numeric_limits&lt;T2&gt;::is_signed&gt;
<span class="lineNum">      58 </span>            : struct add { };
<span class="lineNum">      59 </span>            : 
<span class="lineNum">      60 </span>            : template&lt;class T1, class T2&gt;
<span class="lineNum">      61 </span>            : struct add&lt;T1, T2, /* signed */ false&gt;
<span class="lineNum">      62 </span>            : {
<span class="lineNum">      63 </span>            :   typedef T2 result_type;
<span class="lineNum">      64 </span><span class="lineNoCov">          0 :   result_type operator()(T1 x, T2 y) { return T2(x) + y; }</span>
<span class="lineNum">      65 </span>            : };
<span class="lineNum">      66 </span>            : 
<span class="lineNum">      67 </span>            : template&lt;class T1, class T2&gt;
<span class="lineNum">      68 </span>            : struct add&lt;T1, T2, /* signed */ true&gt;
<span class="lineNum">      69 </span>            : {
<span class="lineNum">      70 </span>            :   typedef T2 result_type;
<span class="lineNum">      71 </span>            :   result_type operator()(T1 x, T2 y)
<span class="lineNum">      72 </span>            :   {
<span class="lineNum">      73 </span><span class="lineNoCov">          0 :     if (y &gt;= 0)</span>
<span class="lineNum">      74 </span><span class="lineNoCov">          0 :       return T2(x) + y;</span>
<span class="lineNum">      75 </span>            :     // y &lt; 0
<span class="lineNum">      76 </span><span class="lineNoCov">          0 :     if (x &gt; T1(-(y+1)))  // result &gt;= 0 after subtraction</span>
<span class="lineNum">      77 </span>            :       // avoid the nasty two's complement edge case for y == min()
<span class="lineNum">      78 </span><span class="lineNoCov">          0 :       return T2(x - T1(-(y+1)) - 1);</span>
<span class="lineNum">      79 </span>            :     // abs(x) &lt; abs(y), thus T2 able to represent x
<span class="lineNum">      80 </span><span class="lineNoCov">          0 :     return T2(x) + y;</span>
<span class="lineNum">      81 </span>            :   }
<span class="lineNum">      82 </span>            : };
<span class="lineNum">      83 </span>            : 
<span class="lineNum">      84 </span>            : } // namespace detail
<span class="lineNum">      85 </span>            : } // namespace random
<span class="lineNum">      86 </span>            : } // namespace boost
<span class="lineNum">      87 </span>            : 
<span class="lineNum">      88 </span>            : #endif // BOOST_RANDOM_DETAIL_SIGNED_UNSIGNED_TOOLS
<span class="lineNum">      89 </span>            : 
</pre>
      </td>
    </tr>
  </table>
  <br>

  <table width="100%" border=0 cellspacing=0 cellpadding=0>
    <tr><td class="ruler"><img src="../../../../../glass.png" width=3 height=3 alt=""></td></tr>
    <tr><td class="versionInfo">Generated by: <a href="http://ltp.sourceforge.net/coverage/lcov.php" target="_parent">LCOV version 1.12</a></td></tr>
  </table>
  <br>

</body>
</html>
